package cn.nju.seg.atg.util;

import org.eclipse.jdt.core.dom.ASTNode;

public class ConstantValue {
	/**
	 * >
	 */
	public static final int SYMBOL_GREATER = ">".hashCode();
	
	/**
	 * >=
	 */
	public static final int SYMBOL_GREATER_EQUAL = ">=".hashCode();
	
	/**
	 * <
	 */
	public static final int SYMBOL_LESS = "<".hashCode();
	
	/**
	 * <=
	 */
	public static final int SYMBOL_LESS_EQUAL = "<=".hashCode();
	
	/**
	 * ==
	 */
	public static final int SYMBOL_EQUAL = "==".hashCode();
	
	/**
	 * !=
	 */
	public static final int SYMBOL_UNEQUAL = "!=".hashCode();
	
	/**
	 * ||
	 */
	public static final int SYMBOL_OR = "||".hashCode();
	
	/**
	 * &&
	 */
	public static final int SYMBOL_AND = "&&".hashCode();
	
	/**
	 * if
	 */
	public static final int BRANCH_IF = ASTNode.IF_STATEMENT;
	
	/**
	 * for
	 */
	public static final int BRANCH_FOR = ASTNode.FOR_STATEMENT;
	
	/**
	 * 普通节点
	 */
	public static final int NORMAL_NODE = ASTNode.EXPRESSION_STATEMENT;
	
	/**
	 * 全开区间
	 */
	public static final int INTERVAL_BOTH_OPEN = 0;
	/**
	 * 左开区间
	 */
	public static final int INTERVAL_LEFT_OPEN = 1;
	/**
	 * 右开区间
	 */
	public static final int INTERVAL_RIGHT_OPEN = 2;
	/**
	 * 全闭区间
	 */
	public static final int INTERVAL_BOTH_CLOSED = 3;
	
	private ConstantValue() {};
}
